- atomic assignment
- przypisanie jako operacja atomowa
English-Polish dictionary for engineers. 2013.
atomic assignment
Look at other dictionaries:
Atomic formula — In mathematical logic, an atomic formula (also known simply as an atom) is a formula with no deeper propositional structure, that is, a formula that contains no logical connectives or equivalently a formula that has no strict subformulas. Atoms… … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Isotopes of dubnium — Dubnium (Db) is an artificial element, and thus a standard atomic mass cannot be given. Like all artificial elements, it has no stable isotopes. The first isotope to be synthesized was 261Db in 1968. There are 12 known radioisotopes from 256Db to … Wikipedia
Interpretation (logic) — An interpretation is an assignment of meaning to the symbols of a formal language. Many formal languages used in mathematics, logic, and theoretical computer science are defined in solely syntactic terms, and as such do not have any meaning until … Wikipedia
Cahn–Ingold–Prelog priority rules — The Cahn–Ingold–Prelog priority rules, CIP system or CIP conventions are a set of rules used in organic chemistry to name the stereoisomers of a molecule. A molecule may contain any number of stereocenters and any number of double bonds, and each … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
Twentieth Air Force — Infobox Military Unit unit name= Twentieth Air Force caption= Twentieth Air Force emblem dates= 20 June 1941 country= United States of America allegiance= branch= United States Air Force type= role= size= command structure=Air Force Space Command … Wikipedia
Dubnium — rutherfordium ← dubnium → seaborgium Ta ↑ Db ↓ (Upp) … Wikipedia
Dependence logic — is a logical formalism, created by Jouko Väänänen[1], which adds dependence atoms to the language of first order logic. A dependence atom is an expression of the form , where are terms, and corresponds to the statement that the value of is… … Wikipedia
Ununhexium — ununpentium ← ununhexium → ununseptium Po ↑ Uuh ↓ (Uhh) … Wikipedia
